Natural deduction system
[计] 自然演绎系统
🧩 词语组成解析
natural
['nætʃrəl]
adj. 自然的;物质的;天生的;不做作的;
n. 自然的事情;（生来的）白痴;[乐]（风琴等的）白键;
natur=nature自然+al...的 →自然（界）的
deduction
[dɪ'dʌkʃən]
n. 推演，推理，演绎;（推理所得出的）结论;扣除，减除;扣除的量;
duc,duct =lead,bring,表示”引导,带来”#词根助记：de向下+duce引→向下引→推论
🗣️ 情景例句
I'm thirty.
我三十岁。
I would like to call a gardener to come this afternoon.
我要叫一个园丁今天下午来。
The next stage is to get the elephant to the training establishment,
下一步就是把象带到训练场所，